1021. The language of logic
پدیدآورنده : Freudenthal, Hans
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Logic, Symbolic and mathematical
رده :
BC
135
.
F7513
1022. The limits of science;outline of logic and of the methodology of the exact sciences
پدیدآورنده : By the late Leon Chwistek; Introduction and appendix by Helen Charlotte Brodie
کتابخانه: كتابخانه دانشكده ادبيات دانشگاه تهران (تهران)
موضوع : Science--Methodology.,Mathematics--Philosophy.,Logic, Symbolic and mathematical.
1023. The logic book
پدیدآورنده : Bergmann, Merrie.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Logic, Symbolic and mathematical,، Prediction )Logic(
رده :
BC
135
.
B435
2009
1024. The logic of chance
پدیدآورنده : Venn, John
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Chance,، Probabilities,Methodology ، Science,، Logic, Symbolic and mathematical
رده :
BC
141
.
V4
1962
1025. The logic of chance
پدیدآورنده : / by John Venn
کتابخانه: کتابخانه مرکزی و مرکز اسناد و انتشارات دانشگاه تبریز (آذربایجان شرقی)
موضوع : Chance,Probabilities,Science - Methodology,Logic . symbolic and mathematical
رده :
BC141
.
V4
1962
1026. The logic of information structures
پدیدآورنده : Wansing, Heinrich
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Computer science,، Artificial intelligence,، Logic, Symbolic and mathematical
رده :
QA
76
.
W235
1993
1027. The logic of partial information
پدیدآورنده : Nait Abdallah, Areski
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Programming languages )Electronic computers(-- Semantics,، Computer algorithms,، Logic, Symbolic and mathematical
رده :
QA
76
.
7
.
N35
1995
1028. The logic of programming
پدیدآورنده : Hehner, Eric C. R.
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Programming )Electronic computers(,، Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
H427
1984
1029. The logic of programming
پدیدآورنده : Hehner, Eric C. R.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Programming )Electronic computers(,، Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
H427
1984
1030. The logic of programming
پدیدآورنده : Hehner, Eric C R
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Computer programming,، Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
H42
1984
1031. The logic of reliable inquiry
پدیدآورنده : Kevin T. kelly
کتابخانه: کتابخانه دانشکده اقتصاد دانشگاه تهران (تهران)
موضوع : Research -- Methodology,Research -- Evaluation,Logic, Symbolic and mathematical,Cognitive learning theory
رده :
Q
180
.
55
.
M4K45
1996
1032. The logical basis for computer programming
پدیدآورنده : Zohar Manna, Richard Waldinger
موضوع : Electronic digital computers--Programming,Logic, Symbolic and mathematical
۴ نسخه از این کتاب در ۳ کتابخانه موجود است.
1033. The logical basis for computer programming
پدیدآورنده : Manna, Zohar
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Programming ، Electronic digital computers,، Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
M35595
1985
1034. The logical syntax of language
پدیدآورنده : Carnap, Rudolf
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Logic, Symbolic and mathematical,، Language and languages
رده :
BC
135
.
C323
1035. The Logical syntax of language
پدیدآورنده : Carnap, Rudolf, 1981-
موضوع : ، Logic, Symbolic and mathematical,، Language and languagess
۳ نسخه از این کتاب در ۳ کتابخانه موجود است.
1036. The logical syntax of language
پدیدآورنده : Carnap, Rudolf
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Logic, Symbolic and mathematical,، Language and languages
رده :
BC
135
.
C323
1037. The mathematics of logic
پدیدآورنده : Richard W. Kaye
کتابخانه: کتابخانه مرکزی دانشگاه یاسوج (محمد بهمن بیگی) (کهگیلویه و بویراحمد)
موضوع : Logic, Symbolic and mathematical
رده :
511
,.
3
,.
K32
,
2007
1038. The mathematics of logic: a guide to completeness theorems and their applications
پدیدآورنده : Kaye, Richard )Richard W.(
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Logic, Symbolic and mathematical
رده :
QA
9
.
K32
2007
1039. The mathematics of logic : a guide to completeness theorems and their applications
پدیدآورنده : Kaye, Richard W.
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Logic, Symbolic and mathematical
رده :
QA
9
.
K32
2007
1040. <The> metaphysics of the Tractatus
پدیدآورنده : Peter Carruthers,Title
کتابخانه: کتابخانه انتشارات سمت (تهران)
موضوع : Wittgenstein, Ludwig,- 1889-1951.- Tractatus logico-philosophicus,Logic, Symbolic and mathematical,Language and languages- Philosophy,Metaphysics
رده :
B
.
W563
,
T73224
3376
1990